$\forall$$A$, $B$:Type. $A$ $=$ $B$ $\Rightarrow$ strong{-}subtype($A$;$B$)